Classical Control and Quantum Circuits in Enriched Category Theory
نویسندگان
چکیده
منابع مشابه
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
We describe categorical models of a circuit-based (quantum) functional pro- gramming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order linear language for circuits, and a more powerful host language, such that the circuit language is embedded inside the host language. Our categorical semantics ...
متن کاملQuantum feedback control and classical control theory
We introduce and discuss the problem of quantum feedback control in the context of established formulations of classical control theory, examining conceptual analogies and essential differences. We describe the application of state-observer-based control laws, familiar in classical control theory, to quantum systems and apply our methods to the particular case of switching the state of a partic...
متن کاملCan we build Classical Control Circuits for Silicon Quantum Computers?
Many who propose quantum computing technologies focus on the quantum datapath without addressing the complexity of the classical control. We investigate the complexity of control for a specific technology, namely the Kane silicon quantum computer. We show that the pulse sequences required to effect one of the simplest operations – two-bit swap – poses a significant challenge to scalable impleme...
متن کاملBasic Concepts of Enriched Category Theory
Although numerous contributions from divers authors, over the past fifteen years or so, have brought enriched category theory to a developed state, there is still no connected account of the theory, or even of a substantial part of it. As the applications of the theory continue to expand - some recent examples are given below - the lack of such an account is the more acutely felt. The present b...
متن کاملMatchgates and classical simulation of quantum circuits
Let G(A,B) denote the 2-qubit gate which acts as the 1-qubit SU(2) gates A and B in the even and odd parity subspaces respectively, of two qubits. Using a Clifford algebra formalism we show that arbitrary uniform families of circuits of these gates, restricted to act only on nearest neighbour (n.n.) qubit lines, can be classically efficiently simulated. This reproduces a result originally prove...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2018
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2018.03.027